The equality $L_{SO}=HOD$ can not be proved just in $ZF$. This is proved in the paper ``The consistency of the theory $ZF+L^1\neq HOD$'' by Szczepaniak.

Here $L^1$ refers to what you named $L_{SO}$.