(3.beta.,5.alpha.,14.alpha.,20R)-23-(1-Methyl-1H-imidazol-2-yl)-4,4,14-trimethyl-24-norchol-8-en-3-ol AIDS-008838 AIDS008838 Imidazole lanosterol analog