Intravenous formulation used for closure of persistent patent ductus arteriosus in premature infants is