AIDS-154713 AIDS154713 Benzenecarbothioamide, 2-hydroxy-N-[[(1R,5R)-5-hydroxy-1,3,3-trimethylcyclohexyl]methyl]-5-methyl-