Also, a very good program which I just recently updated JetAudio, has a built in converter, even in the free, basic mode. One can add a bunch of files and select the output mode.