[Arete314159]

Yes they are BUT it's my understanding those HIV drugs had already been used against SARS and found helpful in an anecdotal way. So it would be an obvious first go-to drug.