6a,8a,9-Trimethyl-1,2,3,5,6,6a,6b,7,8,8a,9,10,11,11a,11b,12-hexadecahydroindeno[5,4-f]pyrimido[1,2-a]quinolin-9-ol AIDS-125007 AIDS125007 NSC58252