. "Agaricus altipes" . . .