Professional Basketball Player Behavior Synthesis via Planning with Diffusion