5-methyl-6-(1-naphthylmethyl)-2-thioxo-2,3-dihydropyrimidin-4(1H)-one AIDS-045335 AIDS045335 S-DABO deriv.