Any of those in a full spectrum 'daylight' bulb will work. 5500K is far from pink. It's more yellowish and closer to the tropical noonday sun. A 10000K full spectrum bulb is bright bluish white and will balance out the overall color and appearance and brighten up the tank.
10000k is a far cry from the blue light a standard actinic bulb produces (save it for saltwater applications), while a true 'pink/red' plant bulb is in the 2400-4400k range.
Any full spectrum daylight bulb will give the plants more than enough of the red and blue spectrum they require. People mix the different K ratings to achieve a light that's pleasing to the eye and that's as close to natural sunlight as possible (CRI) while still giving the plants what they need for photosynthesis.
If you paired a pink bulb with an actinic blue bulb (deep purplish hue), it's not going to look pleasing to the eye at all and will fail to show the true colors of the fish and plants.
Since this is a 4 bulb fixture, I'd go with 1X 5500K, 1X 6700K, and 2X 10000K. I think you'll get great results with this mixture and will look nice, as well.