Der VLC Player hat eine eingebaute Konvertierungsfunktion, probier mal den. Der kann eigentlich so ziemlich alles konvertieren, was er abspielen kann.