7α,12α-diformyloxy-5β-cholestan-3-one