Gravar-mail: CD4-binding regions of human immunodeficiency virus envelope glycoprotein gp120 defined by proteolytic digestion.