SMN1 and proximal spinal muscular atrophy: In a severe spinal muscular atrophy, mouse model, ExSpeU1, introduced by germline transgenesis, increases SMN2 exon 7 inclusion, SMN protein production and extends life span.