AIDS-133406 AIDS133406 Cyclobuta[e][1,3]benzodioxole-6,7-dione NSC628988