The present disclosure provides compounds, or a pharmaceutically acceptable salt thereof as described herein, useful for treating the proliferation of the HIV virus, treating AIDS or delaying the onset of AIDS symptoms in a subject. The disclosure also provides pharmaceutical compositions comprising these compounds, processes for preparing them, therapeutic methods for treating the proliferation of the HIV virus, treating AIDS or delaying the onset of AIDS symptoms in a subject using these compounds. The present disclosure also provides compounds, or a pharmaceutically acceptable salt thereof as described herein, useful for treating the proliferation of a coronavirus, treating coronavirus symptoms or delaying the onset of coronavirus symptoms in a subject. The disclosure also provides pharmaceutical compositions comprising these compounds, processes for preparing them, therapeutic methods for treating the proliferation of a coronavirus, treating coronavirus symptoms or delaying the onset of coronavirus symptoms in a subject using these compounds.