(4aR,4bS,8S,11aS,13aR)-8-methyl-3,4,4a,4b,5,8,9,10,11,11a,13,13a-dodecahydrospiro[benzo[f]pyrido[2,1-a]isoquinoline-2,2'-[1,3]dithian]-6(1H)-one

tert-butyl (2S,6S)-2-(3-(dimethoxyphosphoryl)-2-oxo-propyl)-6-methylpiperidine-1-carboxylate

tert-butyl (2S,6S)-2-(3-((8R,9R)-9-formyl-1,5-dithiaspiro[5.5]undecan-8-yl)-2-oxopropyl)-6-methylpiperidine-1-carboxylate

tert-butyl (2S,6S)-2-(3-((8R,9R)-9-((Z)-3-methoxy-3-oxoprop-1-en-1-yl)-1,5-dithiaspiro[5.5]undecan-8-yl)-2-oxopropyl)-6-methylpiperidine-1-carboxylate

(4aR,4bS,8S,11aS,11bS,13aR)-8-methyldodecahydrospiro[benzo[f]pyrido[2,1-a]isoquinoline-2,2'-[1,3]dithiane]-6,12(1H,3H)-dione