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