Ciao a tutti

ho un sito in cui gli utenti caricano i loro brani audio e attraverso l'utilizzo di HTML5 con il tag audio e li riproduco in una pagina html5 con il tag <audio>.
Come sappiamo Firefox non riproduce i file .mp3 e ha bisogno dei file .ogg
Come posso fare per convertire "al volo" lato server i file caricati dagli utenti?
Esiste un qualcosa da installare sul server o un servizio online da utilizzare in modo invisibile all'utente?

grazie per l'aiuto!

saluti a tutti!