Does anybody know a console program that will convert mp3 files into ogg files?

Or, failing that, does anybody know a console program that will convert mp3s files into wav files? (because I have oggenc that can convert wavs into oggs).

Thanks