4-((3-methylphenyl)methyl)-2-prop-2-enylthio-1H-1,3-diazin-6-one AIDS-051730 AIDS051730 S-DABO deriv.