AIDS-167580 AIDS167580 Cyclohexanol, trans-3,3,5-trimethyl-,carbanilate