Más de 4 millones de colombianos han tenido coronavirus, revela INS