dehydromucic acid