Snapshots of the docking results for compounds 13 (a), 14 (b) and 15 (c). Pictures were rendered in PyMol 2.3.3. The interacting residues are shown in teal. The ligand atoms are rendered as carbon in green, nitrogen in blue, oxygen in red, and fluorine in cyan. Blue lines represent H-bonds, green dotted lines show π-π stacking, and orange dotted lines indicate π-cation interaction.