Linux で動く MPEG4 → MPEG1 コンバータってないですか?