Código postal de Colonia Agrícola de Ocotepec (Colonia San José) en Atlixco, Puebla, México