l-γ-propylideneglutamic acid and related compounds from Mycena pura