Algebraic Closure of a Real Closed Field