what happened to diet cherry dr pepper