mouse model of SMA