市販のDVDプレイヤーで再生することを考えたら、DivXのままでいいかも。