BMP4 and proximal spinal muscular atrophy: In severely symptomatic SMA mice, TNFα was up-regulated with attenuation of Bmp4 and increase of Serpine1 and Gata6 (a pathway in neural and cardiac development), but not in pre-symptomatic and mildly symptomatic SMA mice.