Task: Translation
Input (Spanish): The invention provides compounds of formula (I): or a salt thereof.
Output (English): La invención provee compuestos de formula (I) o una sal de los mismos.