AIDS-009879 AIDS009879 Cholan-24-oic acid, 3,12-bis(sulfooxy)-, (3-.alpha., 5-.beta.,12-.alpha.)- Deoxycholic acid disulfate