AIDS-154708 AIDS154708 Benzenecarbothioamide, N-[[(1R,5R)-5-hydroxy-1,3,3-trimethylcyclohexyl]methyl]-3,5-dimethyl-