Older version of Agaricus benesii