Gravar-mail: Structure-based mutagenesis of the catalytic domain of human immunodeficiency virus type 1 integrase.