King Charles leaves London hospital after treatment for enlarged prostate