5H-Dibenzo[a,c]cyclohepten-5-one AIDS-139094 AIDS139094 NSC647348