2-(Cycloheptylthio)-6-(naphthylmethyl)-3-hydropyrimidin-4-one AIDS-045317 AIDS045317 S-DABO deriv.