4(3H)-Pyrimidinone, 2-(cyclohexylthio)-6-(3-thienylmethyl)- AIDS-109211 AIDS109211