7-(2-Piperidin-1-yl-4-thiazolyl)-6-fluoro-1-ethyl-1,4-dihydro-4-oxoquinoline-3-carboxylic acid AIDS-104558 AIDS104558 Quinolone acid deriv