(3.beta.,5.alpha.,14.alpha.,20R)-24-Amino-24-(dimethyliminio)-4,4,14-trimethylchol-8-en-3-ol, Trifluoromethanesulfonate AIDS-008836 AIDS008836 Amidine lanosterol analog