Agaricus osecanus = A. nivescens