24-Methylcholestane-2,3,6-triol, tris(hydrogen sulfate), trisodium salt (2.beta.,3.alpha.,6.alpha.) 25-Demethylhalistanol sulfate AIDS-005943 AIDS005943