VLC can extract audio from any of the various input sources it supports, and write this audio to an audio-file in quite a lot of codecs. It might probably settle for video from almost any supply and export it in lots of frequent codecs as …