Novel Quinolinonyl Diketo Acid Derivatives as HIV-1 Integrase Inhibitors: Design, Synthesis, and Biological Activities