Mp3 was the only option that was relatively mature and had good enough compression ratios for what we needed (as I remember). Anything more computationally expensive was completely off the table.