Yahoo mail used to use the exact same method to hash their passwords. Google for a program called Ycrack (dictionary attack tool), it should work for your situation - just substitute your $user_salt string for the challenge string that Yahoo used.
P.S. - If you want to speed up Ycrack, delete the line
printf("Trying:%s\n",string);
before compiling it.