Kelley's specialization of Tychonoff's Theorem is equivalent to the Boolean Prime Ideal Theorem
The principle that "any product of cofinite topologies is compact" is equivalent (without appealing to the Axiom of Choice) to the Boolean Prime Ideal Theorem.