Distributed Control of a Semi-linear Elliptic Equation