Ex titular del Infonavit gozaba con salario anual de 9.3 millones de pesos