Sequential Compactness of the Unit Interval Implies Weak König's Lemma