Quantitation of in vitro activity of synthetic trans-acting ribozyme using HPLC