Treatment of insomnia due to great mental exertion