Formal [2σ + 2σ]-Cycloaddition of Aziridines with Bicyclo[1.1.0]butanes: Access to Enantiopure 2-Azabicyclo[3.1.1]heptane Derivatives.

Saturated nitrogen heterocycles are among the most significant structural components in small-molecule pharmaceuticals. Herein, a protocol for the construction of enantiopure 2-azabicyclo[3.1.1]heptane derivatives by a stereospecific intermolecular formal cycloaddition of aziridines with bicyclo[1.1.0]butanes is described. The reaction is run by using B(C 6 F 5 ) 3 as a catalytic additive to give access to a library of enantiopure 2-azabicyclo[3.1.1]heptane derivatives (37 examples) under mild and operationally simple conditions. Successful scale-up reactions, mechanistic experiments, density functional theory (DFT) calculations and synthetic applications are presented.