3α-Methansulfonyloxy-5,7β-cyclo-5β-cholestan