Leonard Lauder's $400M Art Collection Auctioned