AIDS-154707 AIDS154707 Benzenecarbothioamide, N-[[(1R,5R)-5-hydroxy-1,3,3-trimethylcyclohexyl]methyl]-2,5-dimethyl-