amanita pantherina Synonyms