2-Cyclohexylthio-4-benzyl-1H-1,3-diazin-6-one AIDS-051725 AIDS051725 S-DABO deriv.