4(3H)-Pyrimidinone, 2-[(1-methylethyl)thio]-6-[1-(1-naphthalenyl)propyl]- AIDS-111295 AIDS111295