Stan Getz, João Gilberto, Astrud Gilberto