Those are both for the red, but I found the beast elsewhere. Do the red run at 1600Mhz when you throw them in? HyperX modules often need set up in the BIOS to run at advertised speeds.
Anyway, as I mentioned, you can try it, but I would not, nor would I recommend it. You could wait a month for the crazy Black Friday deals and just score some identical beast sticks, I bet.