I’ve been telling this for months; no one listened.
The 1080p Blu-ray audio (original mix) can be easily added to the Matroska-lossless 4K one, no resync is needed, even though some sources said a negative delay of 167ms should be added.
https://originaltrilogy.com/topic/Movies-with-wrong-color-grading-UPDATED/id/15873/page/9#1284326
If there’s any doubt about how these 4Ks were changed then read the above link.
Oliver is 100% right. Remember what they did with all Superman 1080p Blu-rays?