Here, follow this tutorial to get your ffmpeg environment setup, copy your original audio file to a folder, then once you're at the command prompt/console you would just need to run two commands similar to:
cd c:\path_to_your_folder\
ffmpeg -i pipe.mp3 -acodec pcm_s16le -ar 8000 -ab 128k...