4,4-Dibromo-6-methyltricyclo[4.4.0.0~2,7~]decan-3-one AIDS-131625 AIDS131625 NSC624358