It would help to know exactly what you hope to accomplish and what you see as the problem.
The reason I say this is because I can see some problems in the config, but I don't know if this is the problem you see.
First of all a question: Is this internally in your network? You are using EBGP instead of iBGP because of a necessity or for convenience? :)
You are not redistributing BGP into OSPF at R4. This would lead to R5 not receiveing any of the R1- (and R2, R3 and R4) routes.
Also: When you do a "redistribute ospf" in a BGP-process, you only get the inter- and intra-area routes. If you want external and NSSA routes redistributed as well (all OSPF routes), add the "external" keywords like this: "redistribute ospf 1 match internal external 1 external 2"
Check out this page on redistributing OSPF into BGP:
http://www.cisco.com/en/US/tech/tk365/technologies_tech_note09186a00800943c5.shtml
If you are having problems redistributing BGP into OSPF when using iBGP (and therefore are using EBGP), check out this page:
http://www.ciscotaccc.com/iprout/showcase?case=K10794084
