Joshi, Puran Chandra, 1907-1980