Статины при АРВТ

Здравствуйте! Помогите разобраться после перенесенного инфаркта миокарда и постановки стента 3 недели назад маме назначили статины Аторвастатин 80 мг или Розувастатин 40 мг. У мамы ВИЧ+ и гипотериоз, она принимает антиретровирусную терапию. В аннотациях написано, что одновременно применять статины с АРВТ нельзя. Подскажите пожалуйста, может можно заменить статины другими препаратами?
Схема приема АРТВ: Теноф -300 мг, Тивикай - 50 мг, Гептавир- 150 мг.
Схема приема лекарств после инфаркта: Аспирин кардио -100 мг, Плавикс- 75 мг, Престариум- 5 (принимает 2,5 мг), Бисопролол - 5 (принимает 2,5 мг), Липримар - 40 мг, Нольпаза. И от гепотериоза Л-тироксин 100 мг.