artnet – Price Check! Here’s What Sold—and for How Much—at Art Basel Hong Kong 2023