Pharmaceutical formulations suitable for oral administration in solid dosage forms are described. The compositions comprise an effective amount of a base salt of a compound of Formula I and a release rate controlling composition comprising a solubilizing agent, a gelling agent, and a water soluble filler; wherein Formula I is: wherein R 1 , R 2 , R 3 and R 4 are defined herein. The formulations are suitable for use in the inhibition of HIV integrase, the treatment and prophylaxis of HIV infection, and the treatment, prophylaxis and delay in the onset of AIDS.본 발명은 고체 투여형으로 경구 투여하기에 적합한 약제학적 제형에 관한 것이다. 당해 제형은 유효량의 화학식 I의 화합물; 및 가용화제, 겔화제 및 수용성 충전제를 포함하는 방출 속도 조절용 조성물을 포함한다.화학식 I상기 화학식 I에서,R1, R2, R3 및 R4는 본원에서 정의한 바와 같다.본 발명의 제형은 HIV 인테그라제의 억제용, HIV 감염의 치료 및 예방용, 및 AIDS의 치료, 예방 및 발병 지연용으로 적합하다.