3-Methyl-1,2,3,3a,4,5,6,8,9,9b-decahydro-7H-benzo[e]phosphindol-7-one 3-sulfide AIDS-129450 AIDS129450 NSC348419