BNDES lucra R$ 4,76 bi no 1o semestre