4(3H)-Pyrimidinone, 2-(cyclohexylthio)-6-[1-(1-naphthalenyl)propyl]- AIDS-111297 AIDS111297