what major group of fungi does agricus belong to