You can also use Audacity:
http://audacity.sourceforge.net/
IMHO it's the best freeware Sound Editing software around. It's simplicity itself to change a stereo file to mono, with the added bonus that you can save the resulting mono file as either MP3 or .ogg.