Boris Mirski Gallery records, circa 1936-2000, bulk 1945-1972