6-(2-Naphthylmethyl)-2-thioxo-2,3-dihydropyrimidin-4(1H)-one AIDS-045332 AIDS045332 S-DABO deriv.