ohne jetzt näher auf deinen musikgeschmack einzugehen

und zu fragen woher du die videos hast, ich denke mal irgendwo aus dem fernsehen aufgenommen, würde ich virtualdub empfehlen.
http://virtualdub.sourceforge.net/
damit kannst du zunächst die tonspur als wave (file-> save wav) speichern. dann kannst du die tonspur schon mal bearbeiten (die songs trennen), mir fällt spontan kein programm dafür ein. das kannst du aber auch schon vorher mit virtualdub machen.
und dann musst du die waves noch ins mp3 format umwandeln. da fällt mir jetzt auch kein spezielles programm ein, aber von den ca 1000 die dafür geeignet sind, wirst du wohl eins herausfinden.
google hat mir zb das hier gezeigt:
http://www.blazemp.com/convert_wav_to_mp3.htm
ich weiß aber nicht, obs gut ist, sieht zumindest simpel aus