Agaricus pateritonsus T.Lebel, Boxshall & Broadbridge legitimate | sensu AusFungi (2023), AusFungi