(2S,6R)-tert-butyl 2-[2-(E)-[(3S,3aR,4R,4aS,8aR,9aS)-dodecahydro-3-methyl-1-oxonaphtho[2,3-c]furan-4-yl]ethenyl]-6-methylpiperidine-1-carboxylate

(2S,6R)-tert-butyl 2-[2-benzenesulfonyl-1-benzoyl-2-[(1S,3S,3aR,4R,4aS,8aR,9aS)-dodecahydro-1-methoxy-3-methylnaphtho[2,3-c]furan-4-yl]ethenyl]-6-methylpiperidine-1-carboxylate