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