Warhol’s Marilyn Monroe portrait sells for 195 million