Benzoic acid (3aR,9R,9aS,9bS)-2,2-dimethyl-octahydro-[1,3]dioxolo[4,5-a]indolizin-9-yl ester

(1(R),2(S),8(S),8a(R))-1,2-O-Isopropylideneoctahydro-1,2,8-indolizidinetriol

(1(S),2(R),8(S),8a(S))-8-Hydroxy-1,2-(isopropylidenedioxy)octahydro-5-indolizidinone

(5S,6R)-5-(tert-Butyl-diphenyl-silanyloxy)-6-((4S,5R)-5-hydroxymethyl-2,2-dimethyl-[1,3]dioxolan-4-yl)-piperidin-2-one

(5S,6S)-5-(tert-Butyl-diphenyl-silanyloxy)-6-((4R,5S)-5-hydroxymethyl-2,2-dimethyl-[1,3]dioxolan-4-yl)-piperidin-2-one