Busca por Google un conversor de formato AMR a WAV, sé que existen... y luego usas otro para pasar el WAV a MP3 (Winlame, Belight, dbpoweramp, etc... hay muchos). No sé si habrá uno que pase directamente AMR a MP3, si lo hay pues te va incluso mejor jeje