Which of the following is a DNA mismatch repair protein?