Structure formation in short designed peptides probed by proteolytic cleavage.