Chaxines B, C, D, and E from the edible mushroom Agrocybe chaxingu.