pH of diet coke