Bagaimana cara mengkonversi file audio 3gp ke mp3?

Saya memiliki file audio 3gp yang direkam dengan ponsel Android saya. Saya ingin mengubahnya menjadi mp3, lebih disukai di Linux, tetapi Windows juga merupakan pilihan. Ada rekomendasi?