Budaškin, Nikolaj Pavlovič (1910–1988)