Простой способ перекодировать mp3 в ogg в python (live)?

Я ищу библиотеку / модуль, который может перекодировать MP3 (другие форматы - плюс) в OGG, на лету.

Для чего мне это нужно: я пишу относительно небольшое веб-приложение для личного использования, которое позволит людям слушать музыку через браузер. Для прослушивания я намерен использовать новый мощный тег . Однако немногие браузеры поддерживают MP3. Транскодирование в реальном времени кажется лучшим вариантом, потому что оно не тратит впустую дисковое пространство (например, если бы я конвертировал всю музыкальную библиотеку), и у меня не будет проблем с производительностью, поскольку одновременно будет не более 2-3 слушателей.

По сути, мне нужно передать ему MP3 (или что-то еще), а затем получить обратно файловый объект, который я могу передать обратно в мою структуру (кстати, flask ) для передачи в client.

Материал, который я просмотрел:

• gstreamer - кажется излишним, хотя имеет хорошую поддержку многих форматов; документации ужасно не хватает
• таймсайд - выглядит красиво и просто в использовании, но опять же в ней есть много вещей, которые мне не нужны (графики, анализ, пользовательский интерфейс ...)
• PyMedia - - последнее обновление: 01 февраля 2006 г. ...

Предложения?