Genetic therapies for spinal muscular atrophy type 1