Rubberlegs Williams And His Orchestra, Miles Davis All Stars, Miles Davis Nonet