Ein aus Pilzen gewonnenes Antioxidans