Cognitive behavioral therapy of obsessive-compulsive disorder