New cholinesterase inhibitors from Garcinia atroviridis.