John,
I am using LR CC and using the Tone Curve allows for editing the red channel, but I have found it is sometimes easy to miss that because the tone curve module is set by default to 'region editing' and that does NOT allow editing the individual channels. There is a little icon shaped like a curve line to the lower right by the tone curve window. Clicking on that toggles off the 'region' editing of the curve and then you can choose between 'RGB' and the three color channels.
Also, I have had some good luck with the HSL module, adjusting both the saturation and lightness of the red colors.
This image was overwhelmed by the reds when I shot it. It was the red channel that I used mainly to bring them under control:
-Randy