Synthesis and biological evaluation of 5-fluoroquinolone-3-carboxylic acids as potential HIV-1 integrase inhibitors