4(3H)-Pyrimidinone, 6-(benzo[b]thien-3-ylmethyl)-5-methyl-2-[(1-methylethyl)thio]- AIDS-109225 AIDS109225