python: split string with multiple delimiters,"re.split('; |, ', str)"