6-(2,6-Difluorophenylmethyl)-3,4-dihydro-5-methyl-2-(cyclohexylthio)pyrimidin-4(3H)-one AIDS-070802 AIDS070802