Are there other, faster-encoding codecs out there that may not be as universally compatible as DivX but require less CPU? I would be willing to trade compatibility for some higher-quality video.