1-Ethyl-7-isoxazol-5-yl-4-oxo-1,4-dihydro-quinoline-3-carboxylic acid amide AIDS-093074 AIDS093074