olive-tree agaric Synonyms