On the derived Lusztig correspondence