Three new amino acid derivatives from edible mushroom Pleurotus ostreatus. Issue 12 (2nd December 2017)