VLC can extract audio from any of the many input sources it helps, and write this audio to an audio-file in quite a lot of formats. In the event you import a lossy compressed audio file into Audacity, edit it then export it as a lossy comp…