methyl 3α-(tosyloxy)-7β-hydroxy-12-oxo-5β-cholanate