The present invention provides a compound of formula I: Or a pharmaceutically acceptable salt thereof, wherein the variables X, Y 1 -Y 5 , R 1 , R 2 , R 3 , R 4 , and Het have the meanings as described herein, and the like A composition containing a compound, and a method of using a compound and a composition.본 발명은 식 I의 화합물을 제공한다: 또는 그의 약제학적으로 허용가능한 염, (상기 변수 X, Y1-Y5, R1, R2, R3, R4, 및 Het는 본 명세서에서 기재된 바와 같은 의미를 가짐), 및 그와 같은 화합물을 함유하는 조성물, 및 화합물과 조성물을 사용하는 방법.