AIDS-088717 AIDS088717 Dibenzo[h,l]tricyclo[4.3.3.0(1,6)]dodec-3-ene-7,10-dione