4(3H)-Pyrimidinone, 2-(cyclohexylthio)-6-(2-thienylmethyl)- AIDS-109208 AIDS109208