2-but-2-enylthio-4-((3-methylphenyl)methyl)-1H-1,3-diazin-6-one AIDS-051731 AIDS051731 S-DABO deriv.