What are the main ingredients of Diet Coke that hurt teeth?