7-(2-piperidin-1-yl-4-thiazolyl)-1-ethyl-1,4-dihydro-4-oxoquinoline-3-carboxylic acid AIDS-104551 AIDS104551 Quinolone acid deriv