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