5-Ethyl-2-[(methoxycarbonylmethyl)thio]-6-(1-naphthylmethyl)pyrimidin-4(1H)-one AIDS-059511 AIDS059511 DABO deriv.