An aspartic acid residue at the active site of pepsin. The isolation and sequence of the heptapeptide