What I always used to use for that was the Nero Audio editor. Generally, on a mixdown, vocals will be the only track that is equal left/right chan, which means that an audio editor can isolate them and remove them. Otherwise, look online for karaoke software.