コロナ感染、咳の症状を改善したい

10代/男性 - 2023/09/19

１７歳高校生2年生の息子です。
もともと小児喘息があり治療していました。風邪を引くと発作が出ることがあるぐらいの程度です。
１７歳になり何年もの間、症状が出ておらず落ち着いてきたので、８月から喘息の治療（キプレスの服用）をやめて様子をみていたところです。

９月１５日から38℃の発熱。
１６日に自宅で検査キットにてコロナ陽性になりました。
当初は熱だけの症状でしたので病院に受診せずに自宅療養していました。
１６日夜あたりから鼻水、咳の症状も出てきました。
１９日現在は熱は下がり食欲もありますがやはり咳の症状が残っています。
夜になると咳の回数が多くなりますが、ゼイゼイはしていないようです。

カルボシスティン、プロカテロール塩酸塩、デキストロメトルファンを服用しています。小児喘息を診てもらっている先生に以前処方してもらった薬です。
メプチン、クロモグルク酸の吸入薬もありますがこちらの吸入はまだしていません。

咳がこれ以上酷くならないように早く治したいです。とは言ってもコロナの咳は酷くてしつこいと聞きますし…。
このままこれらの薬を服用して咳が治るのを待つで大丈夫でしょうか。
吸入もした方がよいでしょうか。
何がもっとできることがあるんじゃないかと不安になります。