将3gp文件转换为Ogg Vorbis？

Question

我有一个Xamarin.Android项目，它使用MediaRecorder将音频录制为.3gp格式。我需要将此文件转换为.ogg Ogg Vorbis格式。

是否有库或NuGet包已经执行此操作？如果没有，那么编写转换器的最佳方法是什么（注意：我一生中从未写过音频转换器）？

提前致谢！

编辑：实施需要跨平台。