Projective-algebraicity of minimal compactifications of non-arithmetic quotients of the complex unit ball Professor Ngaiming Mok (HKU) [LINK]