NGC 4088 / 4085