tert-butyl (2S)-2-methyl-6-((E)-2-((3S,3aR,4R,4aS,8aS)-3-methyl-1-oxo-1,3,3a,4,4a,5,6,7,8,8a-decahydronaphtho[2,3-c]furan-4-yl)vinyl)piperidine-1-carboxylate