Gravar-mail: Three new structures of the core domain of HIV-1 integrase: An active site that binds magnesium