Proving AGT conjecture as HS duality: Extension to five dimensions