Need a program to get audio from video

See topic. Say I have a video and want the music from it, are there any programs that can strip it out for me into a handy mp3 so I don’t have to bother watching the whole thing and recording the music?