Agronegócio do Brasil soma US$ 9,2 bi em exportações em julho