János Ölvedi (1914-1983)