You can quickly convert any video or audio file into an MP3, or any video into an MP4, by using Microsoft PowerToys.