Exploring One-shot Semi-supervised Federated Learning with A Pre-trained Diffusion Model