4(3H)-Pyrimidinone, 2-(cyclohexylthio)-6-[1-(2,6-difluorophenyl)ethyl]-5-methyl- AIDS-111290 AIDS111290