Windows Media Player は、あまり使わないため詳しいことはわかりませんが、バージョンにより機能が違い、既存ファイルをmp3 に変換ができたのは、windows media player 10 と11 だけだったような記憶です。
Windows 8.1 ならWindows Media Player 12 だと思いますが、取り込み時にmp3にすることはできても、既存ファイルの変換機能はなかったと思います。
Windows Media Player 12 音楽CDの曲をMP3形式でパソコンに取り込む
そうであれば、mp3 に変換するためには他のアプリを使うことになります。
iTunes も使っていないためよく分からないのですが、どのようなファイル形式で保存しているのでしょうか。
ファイル形式にあったアプリが必要になりますが、下のものは比較的対応範囲が広いと思います。
使い方はネットで検索してみてください。
なお、アプリによって、使い勝手、変換速度、変換精度、音質がことなり、自分の好みのものを探すこともできます、ただ、同じような機能をもったアプリがほかにもありますが、フリーソフトの中には危険を伴う類のものがありますし、同じアプリでもダウンロードするサイトによっては余分なものがインストールされることもあり注意が必要です。
なお、wav からmp3 への変換であれば、使い方に工夫が必要ですがCDex がおすすめです。