7-(2-Amino-thiazol-4-yl)-1-ethyl-4-oxo-1,4-dihydro-quinoline-3-carboxylic acid AIDS-013416 AIDS013416