Identification of the Antidepressant Function of the Edible Mushroom Pleurotus eryngii