Design and synthesis of novel dihydroxyindole-2-carboxylic acids as HIV-1 integrase inhibitors