Methanesulfonic acid (R)-[(4R,5R)-5-(benzyloxycarbonylamino-methyl)-2,2-dimethyl-[1,3]dioxolan-4-yl]-((R)-2,2-dimethyl-[1,3]dioxolan-4-yl)-methyl ester

(1R,2S,8R,8aS)-1,2-dihydroxy-3-oxooctahydroindolizin-8-yl pivalate

(1R)-(1β,2α,8β,8aβ)-1,2-diacetoxy-8-hydroxyhexahydro-3(2H)-indolizinone

(1R)-(1β,2α,8aβ)-1,2-diacetoxy-8-methylenehexahydro-3(2H)-indolizinone

(1R,2S,8aS)-3,8-dioxooctahydroindolizine-1,2-diyl diacetate