Amino acid substitution during functionally constrained divergent evolution of protein sequences | Synapse