Lanostanoids with acetylcholinesterase inhibitory activity from the mushroom Haddowia longipes. (February 2015)