AIDS-143197 AIDS143197 Ethyl 2,2-dimethyl-4-oxocyclobutanecarboxylate NSC663585