(3aS,5R,9aS)-5-methyl-1,2,3,3a,4,5,9,9a-octahydropyrido[2,1,6-de]quinolizine

tert-butyl (2S,6S)-2-(2-((tert-butyldimethylsilyl)oxy)ethyl)-6-(5-(dimethoxyphosphoryl)-4-oxopentyl)piperidine-1-carboxylate

tert-butyl (2S,6S)-2-(2-hydroxyethyl)-6-((R)-2-methyl-4-oxopentyl)piperidine-1-carboxylate