Mushrooms and antioxidants