Boris Shanked (1910-1978)