AIDS-134553 AIDS134553 Cev-13(17)-ene-3,6-diol Ebeienine NSC633055