You will be fine mixing those spectrums. You won't need to change the CMH out. The 4200k will be fine alongside LEDs. I assume your LED is a mix of 3000k/5000k with reds or similar?
I wouldn't stress much. My old supplier used to run a 630 CMH (4000k)in the middle and 2x300w 3000k/5000k boards (one on either side) of the CMH, and the product was A1. Was in a 10x5 tent.