3α,12α-diformyloxy-5β-cholan-24-oic acid chloride