Workshop Summary: Lessons from the Cat: Feline Immunodeficiency Virus as a Tool to Develop Intervention Strategies against Human Immunodeficiency Virus Type 1