ПЕТРУНИН МИХАИЛ ЕГОРОВИЧ (1915-1994)