AIDS-168991 AIDS168991 Pyrido[4',3':4,5]pyrimido[1,2-a]indole-6,12-dione, 8-(5,5-dimethyl-1,3-dioxan-2-yl)-