4(3H)-Pyrimidinone, 6-(benzo[b]thien-3-ylmethyl)-2-[(1-methylpropyl)thio]- AIDS-109222 AIDS109222