4(3H)-Pyrimidinone, 2-(cyclohexylthio)-6-(1-phenylethyl)- AIDS-111268 AIDS111268