Lewis acid-catalyzed diastereoselective formal ene reaction of thioindolinones/thiolactams with bicyclobutanes | Synapse