Optimization of mix proportion of basic magnesium sulfate cement-based high-strength coral concrete. (25th July 2022)