Johannes Vermeer’s painting “Het Straatje” (c. 1657–58) in the science-fiction horror movie Demon Seed (1977)