The star lot was a postal sorting office in London, which sold for £4m.