4(3H)-Pyrimidinone, 5-methyl-6-(1-naphthalenylmethyl)-2-[(2-oxopropyl)thio]- AIDS-210631 AIDS210631