4(3H)-Pyrimidinone, 2-(cyclohexylthio)-6-[1-(1-naphthalenyl)ethyl]- AIDS-111272 AIDS111272