See the blog entry titled 'AMR sound with mplayer' for more information.
mplayer binaries ffmpeg binaries