141272-44-8 16,23-Cyclocholestan-15-one, 1,2,3,6,7,23-hexahydroxy-,(1.beta.,2.beta.,3.alpha.,5.alpha.,6.alpha.,7.beta.,14.beta.,16.alpha.,23.beta.)- AIDS-057287 AIDS057287 Xeatobergsterol B