Arduino pro mini USB problem

Press & hold Reset. Start the IDE download. When it shows "compiled xxx of 32xxx bytes" release the button. May take a couple of tries to get the timing right.
Can be easier to see it coming with File:Preferences, Verbose outputs selected.

Alternately - get an FT232 based module that has DTR available.