FFmpeg can be used to convert things. I use 4 - 20 times almost every day.