Agaricus pilatianus (Bohus) Bohus (1974)