4(3H)-Pyrimidinone, 2-[(1-methylpropyl)thio]-6-(1-naphthalenylmethyl)-5-(1-piperidinylmethyl)- AIDS-109203 AIDS109203