Código postal de San Antonio de las Maravillas en Santa Cruz de Juventino Rosas, Guanajuato, México