(3.beta.,5.alpha.,14.alpha.,20R)-24-Amino-24-imino-4,4,14-trimethylchol-8-en-3-ol trifluoromethanesulfonate AIDS-008835 AIDS008835 Amidine lanosterol analog