Python: Split string with multiple delimiters,"re.split('; |, |\\*|\n', a)"