AIDS-154717 AIDS154717 Benzeneacetic acid, 3-[[[[(1R,5R)-5-hydroxy-1,3,3-trimethylcyclohexyl]methyl]amino]thioxomethyl]-