On fuzzy compact metric spaces