2,3,4,4a,5,6,7,8,10,10a-Decahydro-10a-methyl-9(1H)-phenanthrone AIDS-017588 AIDS017588