2(1H)-Pyrimidinone, 1-[(2S,5S)-4-fluoro-2,5-dihydro-5-(hydroxymethyl)-2-thienyl]-4-hydroxy- AIDS-195723 AIDS195723