Protein Sequence Divergence Relative to Protein Folding