Yes, many of the mentioned tools have the ability to extract audio from video files and convert it to various formats.