Nutrisoda (formerly known as "airforce Nutrisoda") was the brand name of a nutrient-enhanced soda sold in the United States by which company, it was sweetened with Sucralose, an artificial sweetener made by chlorinating sucrose, and sugar substitute ?