awk '/^ABC/ && pre{ print "END", pre }
 { pre=$0; print }
 END{ print "END", pre } ' infile