8-Lanostene-7,11-dione, 3-hydroxy- AIDS-167595 AIDS167595