Pyrrolidine,1-[[3-[1-(2-cyclopropylethyl)-1,2-dihydro-4-hydroxy-2-oxo-3-quinolinyl]-1,1-dioxido-2H-1,2,4-benzothiadiazin-7-yl]carbonyl]-