Simple program for converting MP4 files to MP3

[Adrian Spratt]

I've inadvertently purchased a course that is presented in MP4 files. I'd like 
to listen on my Victor Stream, which doesn't support this video format. Would 
someone remind me of the name of a program that makes it easy to convert from 
MP4 to MP3? Thanks.