Efficient and convergent stereocontrolled spiroannulation of ketones