4(3H)-Pyrimidinone, 2-(cyclohexylthio)-6-[1-(2,6-difluorophenyl)propyl]- AIDS-111303 AIDS111303