Lumileds (Luxeon) may also have strong contenders for red LED's but they have been trailing behind Cree technology for white LEDs and I assume the same for colored.
luminus devices makes a red SST-90, i know its the largest single die red LED i dunno how the efficiency/output stack up, but i'm pretty sure it has ridiculous amounts of lumens