1-(2-Cyclopropyl-ethyl)-3-[1,1-dioxo-7-(2-oxo-pyrrolidin-3-yloxy)-1,4-dihydro-benzo[1,2,4]thiadiazin-3-yl]-6-fluoro-4-hydroxy-1H-quinolin-2-one AIDS-221857 AIDS221857