Herbie Mann, João Gilberto, Antônio Carlos Jobim