3a,12-a-Dihydroxy-7-diazirdinecholanic Acid