Alvin Blum (1912-1968).