Código postal de San José (Barranca Mocha) en Tenango del Valle, México, México