GO:0018214: protein carboxylation
The addition of a carboxy group to a protein amino acid.