VLC can extract audio from any of the numerous input sources it supports, and write this audio to an audio-file in quite a lot of formats. FLAC (Free Lossless Audio Codec) is compressed to keep file sizes small, nevertheless it's additiona…