6a-Hydroxy-2,3,4,4a-tetrahydropyrido[1',2':4,5][1,3,4]oxadiazino[2,3-a]isoindole-5,11(1H,6aH)-dione AIDS-126613 AIDS126613 NSC117854