Inverse Scattering Transform for the Focusing Nonlinear Schrödinger Equation with a One-Sided Non-Zero Boundary Condition