Boris Petrov — Soviet engineer (1913–1980)