Partial amino acid sequences of the heavy chains of human HLA histocompatibility antigens