Older version of Agaricus bernardii