AIDS-154715 AIDS154715 Benzenecarbothioamide, 3-cyano-N-[[(1R,5R)-5-hydroxy-1,3,3-trimethylcyclohexyl]methyl]-