壱大整域さんに「「コンパクトHausdorff空間の直積はコンパクト」は選択公理と同値でないことが知られている
(BPI (= Boolean Prime Ideal Theorem)と同値である．)」
とあるので駄目みたいですね