7-(4-Thiazolyl)-1-ethyl-1,4-dihydro-4-oxoquinoline-3-carboxylic acid AIDS-104545 AIDS104545 Quinolone acid deriv