Free groups with involution satisfying a *-group identity