Aragen Life Sciences files ₹800 cr IPO papers with SEBI