Two-dimensional electrophoresis as a complementary method of isolating peptide fragments of cleaved proteins for internal sequencing.