Thirteen cyathane diterpenoids with acetylcholinesterase inhibitory effects from the fungus Cyathus africanus.