6,9-Epoxy-5H,6H-1,2,5a,10a-tetraazacyclooct[cd]inden-5-one, 7,8,9,10-tetrahydro-7,8-dihydroxy-, (6R,7R,8S,9R)- AIDS-222031 AIDS222031