Development and Evaluation of a Mental Health Chatbot Using ChatGPT 4.0: Mixed Methods User Experience Study With Korean Users - Boyoung Kang; Munpyo Hong (JMIR Medical Informatics)