Design and synthesis of novel dihydroquinoline-3-carboxylic acids as HIV-1 integrase inhibitors