[[email protected]]

Real Player Converter is also good - if still available.

Converts WAV, AIFF, etc to MP3, etc.

I've had it for nearly ten years, but since the last five years,
it converts video files only to audio, for some reason.