7-(2-phenyl-4-thiazolyl)-1-ethyl-1,4-dihydro-4-oxoquinoline-3-carboxylic acid AIDS-104553 AIDS104553 Quinolone acid deriv