(1S,2R,8R,8aS)-8-hydroxy-1,2-O-iso-propylideneoctahydro-1,2,8-indolizidine triol

(3aR,8aS,8bS)-2,2-Dimethyl-3a,6,8a,8b-tetrahydro-4H-[1,3]dioxolo[4,5-a]pyrrolizine-8-carboxylic acid methyl ester