4(3H)-Pyrimidinone, 2-(cyclohexylthio)-6-(1-phenylpropyl)- AIDS-111294 AIDS111294