ethyl (3aR,7R,7aR)-2,2-dimethyl-7-methanesulfonyloxy-3a,6,7,7a-tetrahydrobenzo[1,3]dioxole-5-carboxylate