São quatro milhões de vacinas produzidas pelo Instituto Butantan e 2,1 milhões pelo laboratório Biotech