I think I would go with one ATI Aquablue Special and one ATI Blue Plus. Good PAR values for both bulbs and the best color you could get with two bulbs.
ATI 1x12k aquablue special 1x blue plus. You'll get more pop with the blue plus then with the true atenic-I had the atenic and switched it out for the plus