4b,5,9b,10-Tetrahydroindeno[2,1-a]indene-5,10-diol AIDS-131933 AIDS131933 NSC624979