¿Cuántas vacunas se han aplicado en Bogotá hasta este 4 de mayo?