VLC can extract audio from any of the many input sources it helps, and write this audio to an audio-file in a variety of formats. In any case this fiddling round, my sense is that for my purposes (efficient and fairly dependable backup of …