Il "Salvator Mundi" di Leonardo all'asta per una cifra record