Pharmacokinetics, pharmacodynamics, and efficacy of a small-molecule SMN2 splicing modifier in mouse models of spinal muscular atrophy