KCNA3 and proximal spinal muscular atrophy: In a different study, Sleigh and colleagues modelled spinal muscular atrophy in C. elegans and combined the automated phenotyping system with HTS to identify three compounds, 4-aminopyridine (potassium channel blocker), gaboxadol (GABAA receptor agonist), and N-acetylneuraminic acid (monosaccharide), that could improve motility in the mutant worms [69].