3-hydroxy-7,12-diketocholanoic acid