You should be using a DC-DC buck converter.
Go to
www.national.com
You need to find a tool called Power architect.
Enter input and output voltages, you will be presented with a choice of different circuits.
Choose one which suits your efficiency requirements its (0.75*10)/(12*.7) = about 89%. You will get plenty of results with efficiency > 89%