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