1-phenylmethyl 2-methyl 6-(tert-butyldiphenylsilyloxymethyl)-3-methylpiperidine-1,2-dicarboxylate

(5S,8R,8aS)-8-Methyl-5-((Z)-5-trimethylsilanyl-pent-2-en-4-ynyl)-octahydro-indolizine

phenylmethyl 6-(tert-butyldiphenylsilyloxymethyl)-2-(2-ethoxycarbonylvinyl)-3-methylpiperidine-1-carboxylate

(-)-(5S,8R,8aS)-5-(2-hydroxyethyl)-8-methylindolizidine