1-(2-Benzyl-4-oxo-3-phenyl-2-oxetanyl)-2-pyrrolidinone AIDS-135020 AIDS135020 NSC634186