Lewis acid-catalyzed diastereoselective carbofunctionalization of bicyclobutanes employing naphthols | Synapse