Simplifiqué mi pregunta y ofrecí una recompensa: ¿Qué opciones hay para comprimir datos de audio PCM sin formato a un mp3 en un dispositivo Android?

Mi post original: Estoy creando un sintetizador en mi teléfono Android, y he estado generando datos PCM para enviar a los altavoces. Ahora me pregunto si puedo codificar estos datos PCM como mp3 para guardarlos en la tarjeta SD. losMediaRecorder El objeto puede codificar audio proveniente del micrófono en varios formatos, pero no permite la codificación de datos de audio generados mediante programación.

Entonces mi pregunta es, ¿hay una API estándar de Android para codificar audio? Si no, ¿qué soluciones basadas en Java o NDK existen? ¿Y puedes recomendar alguno de ellos?

De lo contrario, tendré que guardar mi audio generado como un archivo WAV, lo que puedo hacer fácilmente.