The invention provides a compound of formula I: or a pharmaceutically acceptable salt thereof, wherein the variables X, Y1-Y5, R1, R2, R3, R4, and Het have the meaning as described herein, and compositions containing such compounds and methods for using such compounds and compositions.La invención proporciona un compuesto de fórmula I: (ver fórmula I) o una sal farmacéuticamente aceptable de este, donde las variables X, Y1-Y5, R1, R2, R3, R4 y Het poseen el significado descrito en la presente, y composiciones que contienen dichos compuestos y métodos para utilizar dichos compuestos y composiciones.