Randi, Ermanno (1920-1951)