2(1H)-Pyrimidinone, 1-[(2S,5S)-4-fluoro-2,5-dihydro-5-(hydroxymethyl)-2-thienyl]-4-hydroxy-5-methyl- AIDS-195724 AIDS195724