Agaricus sect. Trisulphurati not found