4(3H)-Pyrimidinone, 2-[(1-methylethyl)thio]-6-[1-(1-naphthalenyl)ethyl]- AIDS-111267 AIDS111267