"式I[式中、R1はHであり、且つR2は炭素数1~3個のアルコキシ基であり、又はR1及びR2が一緒になって、-O-CH22-O-の環を形成し、R3はH又は炭素数1~3個のアルキル基である]で表される化合物を含有する抗HIV薬。式Iで表される化合物が、式IIで表される化合物である請求項1に記載の抗HIV薬。式Iで表される化合物が、式IIIで表される化合物である請求項1に記載の抗HIV薬。式Iで表される化合物が、式IVで表される化合物である請求項1に記載の抗HIV薬。そこで本発明は、プロウイルスDNAからRNAへの転写過程を阻害する新たな抗HIV薬を提供することを目的とする。HIV-1の転写過程は、宿主細胞因子のcyclinT1とCDK9、そしてHIV-1由来のTat及びTARRNAにより形成される複合体によって開始される。そこで本発明者らは、これらの相互作用領域を標的とする低分子化合物を、3,000,000化合物のデータベースの中から、コンピューターを用いたinsilicoスクリーニングdockingsimulationにより選択した上で、invitroにおける抗HIV-1アッセイにより同定することに成功し、本発明を完成させるに至った。すなわち、本発明の要旨は以下の通りである。1式I[式中、R1はHであり、且つR2は炭素数1~3個のアルコキシ基であり、又はR1及びR2が一緒になって、-O-CH22-O-の環を形成し、R3はH又は炭素数1~3個のアルキル基である]で表される化合物を含有する抗HIV薬。2式Iで表される化合物が、式IIで表される化合物である前記1に記載の抗HIV薬。3式Iで表される化合物が、式IIIで表される化合物である前記1に記載の抗HIV薬。4式Iで表される化合物が、式IVで表される化合物である前記1に記載の抗HIV薬。本発明における化合物は、高い抗HIV活性を有し、抗HIV薬として好適に用いることができる。以下、本発明を詳細に説明する。本発明の抗HIV薬は、式Iで表される化合物を含有する。ここで、式I中、R1はHであり、且つR2は炭素数1~3個のアルコキシ基であり、又はR1及びR2が一緒になって、-O-CH22-O-の環を形成し、R3はH又は炭素数1~3個のアルキル基である。炭素数1~3個のアルコキシ基は、直鎖状又は分岐状のいずれであってもよく、例えば、メトキシ基、エトキシ基、プロピルオキシ基、i-プロピルオキシ基等を挙げることができる。また、炭素数1~3個のアルキル基としては、直鎖状又は分岐状のいずれであってもよく、例えば、メチル基、エチル基、n-プロピル基、イソプロピル基等を挙げることができる。上記式Iで表される化合物の中でも、抗HIV活性及び細胞毒性の観点から、特に、式IIで表されるN-[6-メトキシ-2-オキソ-1H-キノリン-3-イルメチル]-N-ピリジン-3-イルメチル-2,1,3-ベンゾチアジアゾール-4-スルホンアミドが好ましい。また、別の好ましい化合物として、式IIIで表されるN-[7-オキソ-3,6-ジヒドロ-2H-[1,4]ジオキシノ[2,3-g]キノリン-8-イルメチル]-N-ピリジン-3-イルメチル-2,1,3-ベンゾチアジアゾール-4-スルホンアミドが挙げられる。さらに、別の好ましい化合物として、式IVで表される5-メチル-N-[7-オキソ-3,6-ジヒドロ-2H-[1,4]ジオキシノ[2,3-g]キノリン-8-イルメチル]-N-ピリジン-3-イルメチル-2,1,3-ベンゾチアジアゾール-4-スルホンアミドが挙げられる。上記の各化合物は、慣用の有機合成法により得ることができる。また、Asinex社MoscowRussiahttpwwwasinexcomlibrarygoldhtmlから入手可能である。上記の化合物は、抗HIV薬として、慣用の製剤担体と組み合わせて製剤化することができる。投与形態としては、特に限定はなく、必要に応じ適宜選択して使用され、錠剤、カプセル剤、顆粒剤、細粒剤、散剤、徐放性製剤、液剤、懸濁剤、エマルジョン剤、シロップ剤、エリキシル剤等の経口剤、注射剤、坐剤等の非経口剤が挙げられる。経口剤は、例えばデンプン、乳糖、白糖、マンニット、カルボキシメチルセルロース、コーンスターチ、無機塩類等を用いて常法に従って製造される。また、これらに加えて、結合剤、崩壊剤、界面活性剤、滑沢剤、流動性促進剤、矯味剤、着色剤、香料等を適宜添加することができる。結合剤としては、例えばデンプン、デキストリン、アラビアゴム、ゼラチン、ヒドロキシプロピルスターチ、メチルセルロース、カルボキシメチルセルロースナトリウム、ヒドロキシプロピルセルロース、結晶セルロース、エチルセルロース、ポリビニルピロリドン、マクロゴール等が挙げられる。崩壊剤としては、例えばデンプン、ヒドロキシプロピルスターチ、カルボキシメチルセルロースナトリウム、カルボキシメチルセルロースカルシウム、カルボキシメチルセルロース、低置換ヒドロキシプロピルセルロース等が挙げられる。界面活性剤としては、例えばラウリル硫酸ナトリウム、大豆レシチン、ショ糖脂肪酸エステル、ポリソルベート80等が挙げられる。滑沢剤としては、例えばタルク、ロウ類、水素添加植物油、ショ糖脂肪酸エステル、ステアリン酸マグネシウム、ステアリン酸カルシウム、ステアリン酸アルミニウム、ポリエチレングリコール等が挙げられる。流動性促進剤としては、例えば軽質無水ケイ酸、乾燥水酸化アルミニウムゲル、合成ケイ酸アルミニウム、ケイ酸マグネシウム等が挙げられる。注射剤は、常法に従って製造され、希釈剤として一般に注射用蒸留水、生理食塩水、ブドウ糖水溶液、オリーブ油、ゴマ油、ラッカセイ油、ダイズ油、トウモロコシ油、プロピレングリコール、ポリエチレングリコール等を用いることができる。さらに必要に応じて、殺菌剤、防腐剤、安定剤、等張化剤、無痛化剤等を加えてもよい。また、注射剤は、安定性の観点から、バイアル等に充填後冷凍し、通常の凍結乾燥技術により水分を除去し、使用直前に凍結乾燥物から液剤を再調製することもできる。式I~式IVの化合物の注射剤中における割合は、5~50重量の間で変動させ得るが、これに限定されるものではない。その他の非経口剤としては、直腸内投与のための坐剤等が挙げられ、常法に従って製造される。製剤化した抗HIV薬は、剤形、投与経路等により異なるが、例えば、1日1~4回を1週間から3ヶ月の期間、投与することが可能である。経口剤として所期の効果を発揮するためには、患者の年令、体重、疾患の程度により異なるが、通常成人の場合、式I~式IVの化合物の重量として、例えば0.1~1000mg、好ましくは1~500mgを、1日数回に分けて服用することが適当である。非経口剤として所期の効果を発揮するためには、患者の年令、体重、疾患の程度により異なるが、通常成人の場合、式I~式IVの化合物の重量として、例えば0.1~1000mg、好ましくは1~500mgを、静注、点滴静注、皮下注射、筋肉注射により投与することが適当である。以下、実施例に基づき本発明をさらに詳細に説明するが、これに限定されるものではない。Insilicoスクリーニング全てのInsilico実験は、コンピュータソフトMOEChemicalComputingGroupIncQuebecCanadaを用いて行った。Insilicoドッキングの標的として用いられたヒトcyclinT1のモデル構造は、ウマcyclinT1とequineinfectiousanemiavirusEIAVTatとEIAVTARRNAの複合体構造ProteinDataBankID2w2hを基にホモロジーモデリングにより構築したAnandKetalNatStructMolBiol2008Dec15128792。3,000,000化合物のデータベースNamikishojiTokyoJapanの中から薬剤としての性質を有する化合物をスクリーニングするために、分子量が350から600Da、水素結合のドナー/アクセプター数が13個より少なく、回転可能な結合が7個より少なく、logP値が0から6の間をとる化合物を選別した。このようにして選別した化合物のドッキングシミュレーションを、ヒトcyclinT1におけるHIV-1TatとTARRNAが結合する部位に対して行った。その結果、最適なスコア値を示した254の化合物を合成し、invitroにおける抗HIV-1活性を評価した。なお、合成した化合物は、Asinex社MoscowRussiahttpwwwasinexcomlibrarygoldhtmlから市販されているものを購入して使用した。抗HIV-1試験抗HIV-1試験は、HIV-1慢性感染細胞株であるOM10.1細胞を用いた。100μlの段階希釈された薬剤を含む96穴プレートに50μlのOM10.1細胞4×105cells/mlを加え、37°C、5CO2で24時間培養した。その後、50μlのTNF-α4ng/ml、RocheDiagnostics、Mannheim、Germanyを加え、37°C、5CO2でさらに48時間培養した。100μlの培養上清を回収し、ELISAZeptoMetrix、Buffalo、NYによりHIV-1p24の産生量を定量して、産生を抑制する濃度EC50を測定した。また、化合物の細胞毒性CC50は、MTT法SigmaAldrich、StLouis、MOにより定量した。化合物A~Jについての測定結果を下表及び図1~3に示す。表及び図1~3に示すように、本発明の化合物A~Cは、それ以外の化合物に比べて、高い抗HIV-1活性を有し、細胞毒性が低いため、抗HIV-1薬として優れた化合物である。また、HIV-2においても、HIV-1と同じメカニズムによりウイルス遺伝子の転写が起こるため、上記実験結果より、本発明の化合物は抗HIV-2薬としても優れた活性を有し得るものである。"