AIDS-144075 AIDS144075 Ethyl 7-benzyl-3-(4-chlorophenyl)-3a,4,7,7a-tetrahydroisoxazolo[5,4-b]pyridine-5-carboxylate NSC666116