what are the ingredients for this marinade? ketchup: ketchup adds flavor but it also tenderizes the beef and gives it an awesome, caramelized crust when you grill the steak!