A procedure for amino acid sequencing in internal regions of proteins