The identification of large peptide fragments produced from proteins of known sequence: a computerized approach using amino acid composition indexes and its application to thermolysin.