(amanitopsis vaginata)