1-(4-Fluoro-phenyl)-7-(3-methyl-isoxazol-5-yl)-4-oxo-1,4-dihydro-quinoline-3-carboxylic acid amide AIDS-093135 AIDS093135