SMN2 and proximal spinal muscular atrophy: F20PMO represents the shortest PMO known to correct SMN2 exon 7 splicing in SMA model mice [14].