Uniqueness of dg enhancements for the derived category of a Grothendieck category