4(3H)-Pyrimidinone, 6-(benzo[b]thien-3-ylmethyl)-2-(cyclohexylthio)- AIDS-109224 AIDS109224