Arenas-Osuna, Jesús, Instituto Mexicano del Seguro Social, Mexico