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