Using High-Impact HIV Prevention to Achieve the National HIV/AIDS Strategic Goals in Miami-Dade County, Florida: A Case Study.