2-(Cyclohexylthio)-6-propylpyrimidin-4(3H)-one AIDS-045310 AIDS045310 S-DABO deriv.