Aqualine AB 10,000K, or Ushio 10,000K both good bulbs, pricey, but the spectrum is clean and promotes the growth of shallow water organisms like SPS and clams. 20,000K contains too little PAR for most SPS. From what I hear though, you can and should only use the coralife bulb for that fixture? It doesn't have a glass cover, merely this tiny little half shell that covers the bottom of the bulb.
Coralife claims that their bulb is UV filtering (which may after all, just be a marketing scheme), but one can safely say that any non-UV filtering DE bulb you put in there will leach out UV radiation from the reflective rays. (The top of the bulb isn't covered).
If you have a glass cover installed you'll probably be fine.