. . . "Agaricus benesii" .