Email Record: Synthesis, docking, and biological studies of phenanthrene β-diketo acids as novel HIV-1 integrase inhibitors