Microscopic derivation of Gibbs measures for the focusing one dimensional nonlinear Schrödinger equation