What is the dart frog toxic substance presumably made use of to eliminate Alexei Navalny?

The toxin, epibatidine, can be located in frogs in the wild in South America or made in a laboratory.

Source: BBC