(3alpha,5beta,12alpha)-3,12-bis(formyloxy)cholan-24-oic acid