Cocompactness and quasi-uniformizability of completely metrizable spaces

We show that a metrizable topological space X is completely metrizable if and only if it admits a quasi-uniformity U such that the topology induced by the conjugate quasi-uniformity U−1 on X is compact.