Design of Novel Bioisosteres of β-Diketo Acid Inhibitors of HIV-1 Integrase