(+)-(1R,2S,3R,4S,5R,6S)-7-tert-butoxycarbonyl-2,3-exo-isopropylidenedioxy-6-endo-p-toluenesulfonyl-7-azabicyclo[2.2.1]heptane-5-endo-ol

(3aR,4S,7S,7aS)-tert-butyl 2,2-dimethyl-5-oxohexahydro-4,7-epiminobenzo[d][1,3]dioxole-8-carboxylate

(+)-7-tert-butoxycarbonyl-5,6-exo-isopropylidenedioxy-7-azabicyclo[2.2.1]heptan-2-endo-ol

L-2,3-trans-3,4-cis-4,5-trans-N-(tert-butoxycarbonyl)-5-hydroxymethyl-3,4-isopropylidenedioxyproline

(+)-7-tert-butoxycarbonyl-2-[[(tert-butyl)dimethylsilyl]oxy]-5,6-exo-isopropylidenedioxy-7-azabicyclo[2.2.1]hept-2-ene