(3aR,4S,7S,7aS)-tert-butyl 2,2-dimethyl-5-oxohexahydro-4,7-epiminobenzo[d][1,3]dioxole-8-carboxylate