(3.alpha.,5.beta.,7.alpha.,12.alpha.)-3,7,12-Trihydroxycholan-24-oic acid, 7-sulfate AIDS-019580 AIDS019580 Cholic acid, 7-sulfate