Willem de Kooning’s record-breaking ‘Untitled XXV’.