lentil-mushroom ragu