1,3a-Diphenyl-5-(2-thienyl)-4,5-dihydro-3aH-[1,2,4]oxadiazolo[5,4-d][1,5]benzothiazepine AIDS-146534 AIDS146534 NSC673815