Agaricus diminutivus  Peck (1900)