(1R,4aR,5S,6S,8aR)-methyl 6-formyl-1,4a-dimethyl-5-(2-(2-methyl-1,3-dioxolan-2-yl))-decahydronaphthalene-1-carboxylate